3

Proving sequential function chart programs using timed automata

Year:
2001
Language:
english
File:
PDF, 492 KB
english, 2001
14

A Framework for Anomaly Diagnosis in Smart Homes Based on Ontology

Year:
2016
Language:
english
File:
PDF, 261 KB
english, 2016
16

Special Issue on Ambient Assisted Living

Year:
2015
Language:
english
File:
PDF, 439 KB
english, 2015
20

Level Sets of Value Function and Singular Surfaces in Linear Differential Games

Year:
1998
Language:
english
File:
PDF, 1.40 MB
english, 1998
21

Control a Robot on Internet

Year:
2001
Language:
english
File:
PDF, 671 KB
english, 2001
22

Web Based Remote Control of Mechanical Systems

Year:
2004
Language:
english
File:
PDF, 735 KB
english, 2004